XSRL: An XML web-services request language

One of the most serious challenges that web-service enabled e-marketplaces face is the lack of formal support for expressing service requests against UDDI-resident web-services in order to solve a complex business problem. In this paper we present a web-service request language (XSRL) developed on the basis of AI planning and the XML database query language XQuery. This framework is designed to handle and execute XSRL requests and is capable of performing planning actions under uncertainty on the basis of refinement and revision as new service-related information is accumulated (via interaction with the user or UDDI) and as execution circumstances necessitate change

An Introduction to History Dependent Automata

n/

ТЕОРЕТИЧНА ІНТЕГРАЦІЯ ВЕБ-СЕРВІСІВ ВИЯВЛЕННЯ І КОМПОЗИЦІЇ / D2.4.6. A THEORETICAL INTEGRATION OF WEB SERVICE DISCOVERY AND COMPOSITION (ПЕРЕКЛАД РЕМАРОВИЧ С.)

У даному документі розглядається проблема забезпечення комплексного підходу до автоматичного виявлення і композиції доступних семантичних Веб-сервісів для того, щоб виконати даний запит користувача, вказаний в якості мети композиції.\ud \ud In this document we propose a possible theoretical approach for combining service discovery, functional-level service\ud composition, and process-level service composition. We analyse the challanges in composition of these functionalities (integration of Web service discovery and composition) and propose a theoretical way to solve them.\ud Keyword list: semantic Web service discovery, functional level composition of Web service, process level composition of web service, integration of web service discovery and compositio

Eager, Busy-Waiting and Lazy Actions Timed Computation

n/

Analysis of communication models in web service compositions

In this paper we describe an approach for the verification of Web service compositions dened by sets of BPEL processes. The key aspect of such a verification is the model adopted for representing the communications among the services participating in the composition. Indeed, these communications are asynchronous and buffered in the existing execution frameworks, while most verication approaches assume a synchronous communication model for efficiency reasons. In our approach, we develop a parametric model for describing Web service compositions, which allows us to capture a hierarchy of communication models, ranging from synchronous communications to asynchronous communications with complex buffer structures. Moreover, we develop a technique to associate with a Web service composition the most adequate communication model, i.e., the simplest model that is sufficient to capture all the behaviors of the composition. This way, we can provide an accurate model of a wider class of service composition scenarios, while preserving as much as possible an efficient performance in verification

Graph Rewriting for Agent Oriented Visual Modeling

n/

МІНІМАЛІСТИЧНИЙ ПІДХІД ДО СЕМАНТИЧНИХ АНОТАЦІЙ ДЛЯ КОМПОЗИЦІЙ ВЕБ-ПРОЦЕСІВ. ПЕРЕКЛАД СТАТТІ «A MINIMALIST APPROACH TO SEMANTIC ANNOTATIONS FORWEB PROCESSES COMPOSITIONS» (ПЕРЕКЛАД РЕМАРОВИЧ С.)

Семантичні описи Веб-сервісів відкривають шлях до автоматизації їх композиції. Проте, поточні підходи до автоматизованої композиції, які використовують семантику,\ud незважаючи на їх виразну силу, являються важкими у використанні на практиці. Вони вимагають дійсно всеохоплюючих і, зазвичай, великих онтологічних описів процесів, а також досить складних (і часто неефективних) механізмів міркувань. У цій роботі пропонується мінімалістський підхід до семантичної анотації Веб-сервісів,\ud описаних як процеси, такий, що ми можемо виконати обмежене, але ефективне і корисне семантичне міркування для композиції Веб-сервісів на рівні процесу

AUTOMATED COMPOSITION OF WEB SERVICES VIA PLANNING IN ASYNCHRONOUS DOMAINS\ud

The service-oriented paradigm promises a novel degree of interoperability between\ud business processes, and is leading to a major shift in way distributed applications are\ud designed and realized. While novel and more powerful services can be obtained, in such\ud setting, by suitably orchestrating existing ones, manually developing such orchestrations\ud is highly demanding, time-consuming and error-prone. Providing automated service\ud composition tools is therefore essential to reduce the time to market of services, and\ud ultimately to successfully enact the service-oriented approach.\ud In this paper, we show that such tools can be realized based on the adoption and extension\ud of powerful AI planning techniques, taking the “planning via model-checking” approach\ud as a stepping stone. In this respect, this paper summarizes and substantially extends a\ud research line that started early in this decade and has continued till now. Specifically, this\ud work provides three key contributions.\ud First, we describe a novel planning framework for the automated composition of Web\ud services, which can handle services specified and implemented using industrial standard\ud languages for business processes modeling and execution, like ws-bpel. Since these\ud languages describe stateful Web services that rely on asynchronous communication\ud primitives, a distinctive aspect of the presented framework is its ability to model and\ud solve planning problems for asynchronous domains.\ud Second, we formally spell out the theory underlying the framework, and provide algorithms\ud to solve service composition in such framework, proving their correctness and\ud completeness. The presented algorithms significantly extend state-of-the-art techniques\ud for planning under uncertainty, by allowing the combination of asynchronous domains\ud according to behavioral requirements.\ud Third, we provide and discuss an implementation of the approach, and report extensive\ud experimental results which demonstrate its ability to scale up to significant cases for\ud which the manual development of ws-bpel composed services is far from trivial and time\ud consuming

Virtual coaches for mission-based gamified smart communities.

We propose a Virtual Coach for the gamification of participatory applications in complex socio-technical systems like Smart Cities and Smart Communities. In such participatory applications, the user community is an active and essential component. Users must voluntarily take up some tasks, in order to ensure the correct operation of the application according to its requirements and goals, which, in turn, delivers collective benefits to the community. In order to facilitate users, and support their sustained engagement in a participatory application, we use a Missions metaphor to describe those volunteering tasks. Our Virtual Coach is then responsible for selecting and recommending missions to users, based on a variety of factors, including the criticality of the corresponding tasks for the application purposes, the importance of the task for the individual user that should take it up, user profile characteristics, like personal preferences and skills, and the in-game incentives the user would earn by completing the mission